Feature-Oriented Description, Formal Methods, and DFC
نویسنده
چکیده
This paper explores the close relationship between feature-oriented and architectural styles of formal system description, and explains the formal methods needed to support descriptions in these styles. In the telecommunications domain, DFC is a successful example of a feature-oriented, architectural description technique. Although formal methods for DFC are in their infancy, there are already simple examples of all the necessary methods. 1 Feature-Oriented Description
منابع مشابه
Formal Description of Telecommunication Services in Promela and Z
This paper shows how an engineer could write a full formal description of the service layer of a telecommunication system, organized according to the Distributed Feature Composition virtual architecture. Descriptions in Promela and Z can be composed using a joint semantics based on the transition-axiom method. The described system can be reasoned about in several ways, including use of tools de...
متن کاملSystematic Design of Call-Coverage Features
Feature interaction is a severe practical problem in the design and maintenance of telecommunication software. The Distributed Feature Composition (DFC) virtual architecture provides a new foundation for formal, modular description of telecommunication features. It also provides a semantic structure within which feature interactions can be diagnosed, and undesirable ones can be prevented or cur...
متن کاملClassification of fMRI patterns--a study of the language network segregation in pediatric localization related epilepsy.
This article describes a pattern classification algorithm for pediatric epilepsy using fMRI language-related activation maps. 122 fMRI datasets from a control group (64) and localization related epilepsy patients (58) provided by five children's hospitals were used. Each subject performed an auditory description decision task. Using the artificial data as training data, incremental Principal Co...
متن کاملA BDD Approach to the Feature Subscription Problem
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important since it enhances the users’ experience considerably. However, regardless how service providers organise their catalogues of features, they cannot achieve complete configurability due to the existence of feature intera...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل